Emerald: A General-Purpose Programming Language

نویسندگان

  • Rajendra K. Raj
  • Ewan D. Tempero
  • Henry M. Levy
  • Andrew P. Black
  • Norman C. Hutchinson
  • Eric Jul
چکیده

Emerald is a general-purpose language with aspects of traditional object-oriented languages, such as Smalltalk, and abstract data type languages, such as Modula-2 and Ada. It is strongly typed with a nontraditional object model and type system that emphasize abstract types, allow separation of typing and implementation, and provide the flexibility of polymorphism and subtyping with compile-time checking. This paper describes the Emerald language and its programming methodology. We give examples that demonstrate Emerald’s features, and compare and contrast the Emerald approach to programming with the approaches used in other similar languages.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Emerald : A General - Purpose Programming

SUMMARY Emerald is a general-purpose language with aspects of traditional object-oriented languages, such as Smalltalk, and abstract data type languages, such as Modula-2 and Ada. It is strongly-typed with a non-traditional object model and type system that emphasize abstract types, allow separation of typing and implementation, and provide the exibility of polymorphism and subtyp-ing with comp...

متن کامل

Typechecking Polymorphism in Emerald

Emerald is a statically typed object-oriented language that was originally intended for programming distributed subsystems and applications [Jul 88]. It is important that such systems be dynamically extensible, i.e., that it be possible to introduce new kinds of entities into the system without re-compiling or re-linking the whole system. This led us to devise a type system based on the notion ...

متن کامل

Grace's Inheritance

This article is an apologia for the design of inheritance in the Grace educational programming language: it explains how the design of Grace’s inheritance draws from inheritance mechanisms in predecessor languages, and defends that design as the best of the available alternatives. For simplicity, Grace objects are generated from object constructors, like those of Emerald, Lua, and Javascript; f...

متن کامل

Concurrency , Distribution and Object Orientation Expressed in Map Theory

This paper describes how concurrency, distribution and object orientation can be expressed in map theory, using a subset of the Emerald language as an example. In particular the paper covers parallelism in which a created process can continue to run after the creating process halts. The semantics is presented in a continuation passing style in map theory. Map theory is a foundation of mathemati...

متن کامل

4.2 Broadcast Statement

This paper presents a proposal for incorporating a group communication paradigm into an object-based environment. Group communication is an interaction involving an arbitrary number of participants. Its application simpli es speci cation and implementation of complex systems. Object-oriented programming can signi cantly pro t from the addition of a group mechanism. Our proposed mechanism, Multi...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:
  • Softw., Pract. Exper.

دوره 21  شماره 

صفحات  -

تاریخ انتشار 1991